Lo que más nos importa de ese codicilo es, lo que copio a continuación: