Update tableaux.c