Nom de l'état:
(pers /= {} & \n dom_four_acc /= {} & \n (val_droit |>> {ok})[dom_four_acc] = {})
Etat initial ? :
Non
-
Retour
-