Merge pull request #145 from florent-lamiraux/devel

[DifferentiableFunction] Fix operator==
6 jobs for devel in 2 minutes and 50 seconds (queued for 4 seconds)