Ephémérides astronomiques 2012 — Bureau des longitudes. France, Institut de mécanique céleste et de calcul des éphémérides. Paris