Les users stories et leur formalisation