Résoudre tan x = \sqrt 3 sur [0, 2pi)