exec1="/tmp/C5.1"
exec2="/tmp/C5.2"

cat C5.1.1.dat | $exec1 | grep "Moyenne : 0.484791 , Minimum : 0.021207 , Maximum : 0.999683" > /dev/null &&
cat C5.1.2.dat | $exec1 | grep "Moyenne : 0.516676 , Minimum : 0.002786 , Maximum : 0.992848" > /dev/null &&
cat C5.1.3.dat | $exec1 | grep "Moyenne : 0.518768 , Minimum : 0.003677 , Maximum : 0.995848" > /dev/null &&

cat C5.2.dat | $exec2 | diff - C5.2.res.dat &&
echo "Les executions se sont faites avec succès !"