La Quantification Dans La Logique Moderne