Sur la traduction des schémas récursifs monadiques en schémas itératifs — Bruno Courcelle