Vidéo de migrants attaqués en mer par des garde-côtes grecs : ce que l'on sait