À sortir aussi de process_mainmodule.