L'Infanterie de la Marine
Fiche technique
Titre original : Het korps MariniersGenre : GuerreAnnée : 1965
Pays d'origine :
Pays-BasDurée : 23 minDate de sortie (Pays-Bas) : 10 décembre 1965Réalisateur :
Paul VerhoevenSynopsis : Faisant son service militaire au sein du département audiovisuel de la Marine néerlandaise, Paul Verhoeven y tourne un film fêtant le tricentenaire de l'institution.
