Matthieu Py: Inférence et certificats pour le problème de satisfiabilité maximum. (Inference and certificates for the maximum satisfiability problem). Aix-Marseille University, France 2021