quantification (en informatique)