Logics for XML. (Logiques pour XML)