Tués par des garde-côtes algériens lors d'une balade en jet-ski : ce que l'on sait du drame qui a fait deux morts