À combien s'est vendu le Code civil de Napoléon aux enchères ?