Correction d'un bug de nom dans les Types