La méthode première définition bin(A x) override (remplace) la définition de la classe A alors que la deuxième définition bin(B x) surcharge (complète) la définition précédente.