DéfinitionsRavallec