idem

pres.tex

@@ -1190,7 +1190,7 @@ $\oo$\nbd{}catégories strictes : l'un s'appelle l'\alert{homologie
   monoid $(\mathbb{N}\times \mathbb{N},+)$ (which is not free) and use the
   equivalence of polygraphic and singular homologies for monoids.
   
-  \pause Not that easy to carry out properly !
+  \pause Not that easy to work out properly !
 \end{frame}
 \begin{frame}\frametitle{Bubbles}
   \begin{block}{Definition}