début tests temps (dans timeTests.c), à compiler avec make testTime (puis exécution avec ./vertexCoverExec nbdegraphes nbdeSommets)