Le français Hervé Gourdel a été exécuté.