https://9pdf.info/document/zlgex92o-calculus-functors-operad-formality-rational-homology-embedding-spaces.html