Quantifieur logique (n.m.)