Il y a l'environment `restatable`, de l'extension `thm-restate`, qui vient avec `thmtools`. Cette dernière extension coopère aussi bien avec `amsthm` qu'avec `ntheorem`.
Un exemple d'utilisation:
\documentclass[french, 11pt]{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{geometry}
\usepackage{babel}
\frenchbsetup{IndentFirst=false}
\usepackage{fourier, erewhon}
\usepackage{amsmath}
\usepackage[amsmath, thmmarks]{ntheorem}
\usepackage{thmtools, thm-restate}
\theoremstyle{plain}
\theoremheaderfont{\itshape\bfseries}
\theoremseparator{. —}
\newtheorem{lemme}{Lemme}[section]
\usepackage[colorlinks]{hyperref}
\usepackage{cleveref}
\crefname{lemme}{le lemme}{les lemmes}
\Crefname{lemme}{Le lemme}{Les lemmes}
\begin{document}
\section{Première section}
Nous avons le résultat bien connu :
\begin{restatable}[lemme d’Euclide]{lemme}{Euclide}%
Si un nombre premier divise un produit de facteurs, il divise au moins l’un d’eux.
\end{restatable}
Ce résultat est se généralisera dans \cref{lem_G}.
\section{Une autre section}
\begin{lemme}[lemme de Gauß]\label{lem_G}
Si un nombre divise un produit de facteurs et est premier avec l’un, il divise l’autre.
\end{lemme}
Il s’agit d’une généralisation du :%
\Euclide*
\end{document}
![alt text][1]
[1]: http://texnique.fr:80/osqa/upfiles/recyclage.png
