Grid5000 library