5 000 exoplanètes repérées : c'est peut-être un détail pour vous, mais pour les astronomes ça veut dire beaucoup