-#: lib/layouts/theorems-ams-bytype.inc:57 lib/layouts/theorems-ams.inc:31
-#: lib/layouts/theorems-bytype.inc:33 lib/layouts/theorems.inc:31
-#: lib/layouts/theorems-starred.inc:32
-msgid "Alternative Theorem String"
-msgstr "Autre expression du théorème"
-
-#: lib/layouts/theorems-ams-bytype.inc:58 lib/layouts/theorems-ams.inc:32
-#: lib/layouts/theorems-bytype.inc:34 lib/layouts/theorems.inc:32
-#: lib/layouts/theorems-starred.inc:33
-msgid "Alternative theorem string"
-msgstr "Autre expression du théorème"
-
-#: lib/layouts/theorems-ams-bytype.inc:169 lib/layouts/theorems-bytype.inc:145