J'avais croisé une fois sur ce forum, impossible de la retrouver, une adresse d'un moteur de recherche qui indiquait des PR précis, c'est à dire avec des chiffres après la virgule, quelqu'un saurait-il me rafraichir la mémoire ou connaitrait-il une autre "astuce" pour avoir un PR plus précis que des entiers naturels?