Trafic de migrants : l'Union européenne lance formellement une mission navale