Chadian ground troops on Tuesday crossed into Nigeria for the first time as part of an offensive against Boko Haram Islamists, an AFP correspondent saw.