Fix #122 : correction : forgot inline
Merge branch '1.2-dev' of github.com:TRIQS/triqs into 1.2-dev