Nombre premier de Ramanujan