Saint-Gaudens: cérémonie d’hommage aux harkis et aux formations supplétives de l’armée française