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