Quantification semble fonctionnel

reste déquantification