Definition at line 32 of file giaCof.c.
Definition at line 35 of file giaCof.c.
Definition at line 34 of file giaCof.c.