13-1-1-2. Formalisme