Formal and Practical Elements for the Certification of Machine Learning Systems