Cathédrale de Lincoln : le lutin de Lincoln