Implements a threads pool for the Greedy
Merge branch 'dev' of github.com:INSA-4IF-SpecIFic/elif into dev