Le budget de la justice en hausse de 5,3%, passe la barre des 10 milliards d'euros