The 8 1/2 reference manual, to be published as LRI (1994)

by O Michel