formule du crible de Poincaré