Update Rains_isom_normal.sage

Tout ça était très probablement déjà implanté dans SAGE depuis des années.