(via Astérisque: polkadots)