L’exécution de Robert Lynen