Une composée de fonctions injectives est injective : la démonstration expliquée