Una sezione di Dedekind in un campo ordinato