Quelques modifications dans les parametres des procedures pour s'adapter au reste du code

maintenant on peut faire gnatmake strip.adb sans probleme