let add_fct_post a acc = 
  add NormAtLabels.labels_fct_post acc (PKfctPost (a))