NOUVEAU LIEN, dans la rubrique "papers directories" (colonne de droite) : Logic Group Preprint Series (merci à Mark van Atten pour la suggestion!).