patch – correction, bidouille