loi formelle