El Nido et l'archipel de Bacuit: sources du guide de plongée