Workmen employed in the construction or repair of ships and boats, enjoy the privilege established above, without being bound to reduce their contracts to writing, whatever may be their amount, provided the statement of the claim is recorded in the manner required by law; but this privilege ceases, if they have allowed the ship or boat to depart, without exercising their right.