Teducation de lemmes , p . Mad.