San Diego et La Jolla: sources du guide de plongée