The Airy line ensemble is a positive-integer indexed ordered system of continuous random curves on the real line whose finite dimensional distributions are given by the multi-line Airy process. It is a natural object in the KPZ universality class: for example, its highest curve, the Airy$_2$ process, describes after the subtraction of a parabola the limiting law of the scaled weight of a geodesic...