Problème fonction (switch, buffer)

Bonjour,

J'utilise dans ma fonction une fonction lire() dans un switch avec un scanf avant comme ceci :

BaseFaits creer_Bf()
{	
	int choix;
	BaseFaits b = nouvelle_Bf();
	char buffer[101];
	

	do
	{
		printf("(1) ajouter fait, (2) suite");

		scanf("%d",&choix);

		switch(choix) {

			case 1: printf("Fait à ajouter ?");
			lire(buffer);
			ajouter_Fait(b, buffer);
			break;
			
			case 2:
            printf("On passe à la suite\n"); 
			
		}

		printf("nouveau tour\n");
	}while(choix!=2);			
		
	printf("Sortie du while");
	return b;

}

Cela marche tant que je réponds 1 et ajoute un "fait", qui est un élément de ma liste chainée BaseFaits ayant pour valeur une chaîne de caractère.

Mais quand je sors du switch en entrant 2, mon marqueur "nouveau tour" apparaît mais pas "sortie du while" et le terminal m'affiche un segmentation fault.

Fonction lire :

int lire(char *Buffer)
{
	char *positionEntree = NULL;
	viderBuffer();
	/*On lit le texte saisi au clavier */
	if (fgets(Buffer, 100, stdin) != NULL) /* Pas d'erreur de saisie ? (Buffer de 100 caractères) */
	{
		positionEntree = strchr(Buffer, '\n'); /* On recherche l'"Entrée" */
		if (positionEntree != NULL) /* Si on a trouvé le retour à la ligne */
		{
			*positionEntree = '\0'; /* On remplace ce caractère par \0 */
		}
		else
		{
			viderBuffer();
		}
		
		return 1; /* On renvoie 1 si la fonction s'est déroulée sans erreur */
	}
	else
	{
		viderBuffer();
		return 0; /* On renvoie 0 s'il y a eu une erreur */
	}
}

et viderBuffer :

void viderBuffer()
{
	int c = 0;
	while (c != '\n' && c != EOF)
	{
		c = getchar();
	}
}

Pourriez vous m'aider ?