Une méthode peut être redéfinie sans contrainte sur le type de retour

Une méthode peut retourner plusieurs types en fonction de l’appel

Une méthode redéfinie peut retourner un type plus spécifique que la méthode d'origine

Une méthode peut avoir plusieurs valeurs de retour