Frontière Maroc-Algérie : un Français tué par des garde-côtes