France : démolition de la "Jungle", des mineurs encore sur place