derive algorithmique | Factae