théorème des réécritures