Auditer les algorithmes : de la difficulté de passer des principes aux applications concrètes