Le 26 mai 1755, l'exécution de Louis Mandrin