Type constrain ari
rapport: typage
corrections erreurs compilation