Algérie: fin de grève pour les magistrats