Est-ce que le nombre de chiffres du plus grand nombre premier connu est lui même un nombre premier ?