Faut-il augmenter le nombre de magistrats de 12 à 20 magistrats pour 100.000 habitants?