Étude de la fonction arctangente. La fonction x → tan x est continue et strictement croissante sur ]−π/2, π/2[ . Elle réalise donc un bijecti