• Titre original : Het Korps Mariniers
  • Titre de sortie en France : [L'Infanterie de marine]
  • Année de production : 1965
  • Réalisateur(s) : Paul Verhoeven
  • Pays de production : Pays-Bas