Philippe Leclerc de Hauteclocque films