(via Astérisque: fuzzy)