#open "aintv";; #open "ci";; exception Production_code;; exception Compilation_Necessite;; value produit_code_programme : prog -> TypeInstruction vect;;