TomTom cesse de vendre ses GPS, la société ne fait pas le poids face à Waze ou Maps