Introduction aux éphémérides et phénomènes astronomiques — Institut de mécanique céleste et de calcul des éphémérides. Paris