agent chargé de l'exécution de la peine de mort