modification de la fonction index_of dans Array_mp