Imrpovements + corrections + docs

Because this cost too many time with no current reason

(which will be converted to errors and then stop execution, which is not expected)

install_dev_deps seems to install "source" versions of packages and not the packages useful for dev!

(curl is bad for CI because it doesn't return an error code)