Android : à quoi sert vraiment le nouveau terminal Linux de Google