Français morts en Algérie : pourquoi des vacanciers ont-ils été tués par des garde-côtes ?