Doit-on dire un ou une typothèque ?