Update pour que l'exemple forme un monoide