Correction calcul; modification du texte tipp-exé