Ajout de fonctions pour tester si un type est un sous-type d'un autre.