Correction sur les types sety et enumere.