Où sont passés les mineurs de la «jungle de Calais» ?