Formalisation (épistémologie) — 3 œuvres