Un planeur marin (« wave glider »)