Un juge ordonne la libération de Mahmoud Khalil