À la fin de la guerre, le maréchal Pétain a été exécuté pour trahison.