4) Hoeveel magistraten zullen in 2012, 2013, 2014, 2015 en 2016 op pensioen vertrekken uitgaande van de situatie dat thans de gemiddelde pensioenleeftijd van magistraten 62 jaar en 8 maanden bedraagt?
4) Combien de magistrats partiront-ils à la retraite en 2012, 2013, 2014, 2015 et 2016 dans l'hypothèse du maintien de l'âge moyen actuel du départ à la retraite des magistrats, à savoir 62 ans et 8 mois ?