Jeu de piste 1 (ou la force de l’exacte commutation)

Avant ma retraite, je posais le lemme des 5 en colle en Sup dès qu’on définissait groupe, ker et im (cet exo est parfaitement élémentaire). Est-ce encore envisageable ?