Oui, #include <tigcclib.h> (et tu devrais utiliser le vrai TIGCC, mais ça ne change rien pour ce problème ni pour sa solution).