J'utilise gnatpp avec la commande : "gnatpp -rf -v -l2 -c4 -c3 -c2 -A0 -A1 -A2 -A3 -A4 -A5 --no-separate-is --no-separate-loop-then --separate-stmt-name -M256 "%f" -cargs -gnat12" pour mettre en...