T1 Formalisation technique du besoin