modification d'une erreur de type dans le module Array_mp