Nymphoides ezannoi, Berhaut (1967)