Monopole d'Android : Google perd la bataille, l'Europe inflige une amende finale de 4 milliards d'euros