Gatchina days : reminiscences of a Russian pilot