Formal and Practical Elements for the Certification of Machine Learning Systems. - Jean-Guillaume Durand; Arthur Dubois; Robert J. Moss (CoRR, 2023)