Generic epsilon-removal

From LRDE

Résumé

FIXME