¿Cuál fue el primer libro en mencionar al legendario rey Arturo (en latín)?