“La nuit des charbonniers” documentaire de Robert Muller