Hausse de salaire des juges de 1 000 euros par mois : combien gagne exactement un magistrat en France ?