Tu veux dire quoi par "passer de Debian à FirefoxOS"?