//---Creation des clauses pour la contrainte : un pigeon doit etre au maximum dans un nid
		for(i=1; i<=nbPigeons; i++){
			//---Pigeon i dans un nid j. Litteral de la forme : Pij
			for(j=1; j<nbPigeons; j++){
				sprintf(clause, "%d", j*(-1));
				fputs(clause,fichier);
				fputs(" ",fichier);
			}
			//---Ajout du zero en fin ed ligne
			sprintf(clause, "%d", 0);
			fputs(clause,fichier);
			fputs("\n",fichier);
		}