La Marine Royale porte assistance à un plaisancier espagnol en difficulté en mer