Deux types identiques se doivent d'être l'un dans l'autre