Théorème d'Engel : contenu, idée de la démonstration et implications