formallotement