Mort de José Mujica, l'ancien guérillero devenu président et figure de la gauche latino-américaine