Plus petit nombre premier à quatre chiffres ?