Deux vacanciers, dont un Français, tués par les garde-côtes algériens : ce que l'on sait