J'utilise Ubuntu 12.04 32-bits, et la version 3,6, ainsi que la 3.8 beta, marche sans ausun probleme.

Hans