Étymologie et origine de roca, rocha, roche, par F.-N. Nicollet, — François-Napoléon Nicollet