L'exécution du colonel Ruiz (Camproger)