¿Qué libro (enciclopedia) recogió por primera vez toda la legislación española?