Comment décompter les heures réalisées au titre de la permanence syndicale ?