Montrer que la modélisation est conforme à la loi de snell descartes