magistrat de carrière- personne exerçant la profession de juge à titre d'activité principale et possédant une formation juridique
im Hauptberuf als Richter tätige Person mit juristischer Ausbildung
