La justice autorise Trump à utiliser 3,6 milliards US pour son mur