One tune collection with a tune named
Denis Lanctot’s