Une revue de la différentiation automatique et de sa mise en œuvre efficace | Synapse