Statistics for Contribution to the résolution of Maxsat problem by taboo search strategies