Moumou :
Ben alors c'est bien du sous-typage. Enfin c'est ce que moi et le futur chef de Sally appelons du sous-typage

oui, mais pour l'objet, et les types simples ne sont pas des objets,
et il y a une défférence entre une classe mère / une classe fille et entre un int / un 'a.