Author: Université de Paris VII. Séminaire de complexité algorithmique et de logique