Galleries for Innocent Odoc