Reglement voor de procesvoering van het Hof van Justitie:Artikel 20 Bevoegdheden van de griffier