DéfinitionsProux