Résoudre tan x >= 1 sur [0, pi)