La spécialisation de classes constitue la caractéristique la plus remarquable de l'approche objet mais son assimilation au sous-typage, dans le cadre de la programmation par objets, conduit à la problématique bien connue du caractère covariant ou contravariant de la redéfinition. Pour que le typage soit sûr, le sous-typage impose une redéfinition contravariante contraire à la sémantique covariante de la spécialisation. Ce problème est bien connu, mais le point de vue du typage sûr est resté dominant. Cet article a pour objet d'analyser précisément le problème, de montrer l'irréductibilité du conflit, et la nécessité du risque d'erreur de type. La plupart des langages reconnaissent d'ailleurs implicitement cette nécessité en permettant une coercition de types contraire à la sûreté du typage. Nous montrons aussi que les nombreuses alternatives comme la sélection multiple, la généricité ou le filtrage restent illusoires ou insuffisantes pour traiter le problème. La solution réaliste est alors d'adopter la redéfinition covariante en rajoutant aux langages les éléments permettant de circonscrire précisément les erreurs de type, et en complétant les méthodes d'analyse et de conception pour qu'elles les prennent en compte.