Code of our accepted ICML 2021 paper "Towards Rigorous Interpretations: a Formalisation of Feature Attribution" (D. Afchar, R. Hennequin, V. Guigue)