Manuel PHP Précédent Suivant gmp_popcount() dénombre la population de a. Précédent Sommaire Suivant Niveau supérieur