Certaines sources parlent de commandos marines.