translate English to French: Source: Dolev and Rivkin, 1997 (unpublished).
Source : Dolev et Rivkin, 1997 (non publié).