Describir: Geometric optics on phase space