Introduction
PSR B1257+12, ou J1300+1240, est un pulsar situé à 980 année-lumière de la Terre dans la constellation de la Vierge. Il a été découvert en 1990 par l'astronome polonais Alexander Wolszczan, en même temps que le pulsar binaire PSR B1534+12 à l'aide du radiotélescope d'Arecibo.
En continuant à étudier les mouvements de ce pulsar, Alexander Wolszczan découvrit en 1992 des anomalies qui l'amenèrent à conclure à l'existence de 2 planètes orbitant l'étoile, les toutes premières planètes extrasolaires à être découvertes.
Cette annonce surprit beaucoup d'astronomes à cette époque, car on se serait attendu à trouver des planètes autour d'étoiles de la séquence principale, mais pas autour d'un pulsar. De plus, les doutes étaient renforcés par le fait que quelques temps plus tôt, une annonce de découverte de planète autour d'un autre pulsar (PSR 1829-10)avait été faite, mais elle s'était révélée être une erreur de calcul.
Une troisième planète fut découverte un peu plus tard autour de PSR B1257+12. Outre les 3 premières planètes qui ont été confirmées en 2007, on pense aujourd'hui que ce système planétaire pourrait abriter une quatrième planète (non confirmée), ainsi qu'une ceinture d'astéroïdes, voire une ceinture de Kuiper.
Etant un pulsar, PSR B1257+12 est une étoile à neutrons à rotation extrèmement rapide, effectuant un tour sur elle-même toutes les 6.22 millisecondes (9,646.3 tours/minute). A une telle vitesse de rotation, la moindre perturbation par une planète orbitant autour du pulsar est facilement détectable, et procure des information d'une résolution et d'une précision très élevées. Ceci explique pourquoi c'est autour de PSR B1257+12 que l'on a pu détecter à grande distance des objets extrèmement petits (de taille comparable à la lune, voire à un astéroïde), si on les compare aux exoplanètes que l'on détecte classiquement autour d'autres étoiles qui ne sont pas des pulsars.

