Vercingétorix ou le chef au cent têtes, tragédie lyrique en cinq actes — Ferdinand Paul