Les Grandes Vacances avec Louis de Funès, un film de Jean Girault