Measurement of the focal length of a concave mirror