Bugfix: taille de la BRAM