La preuve en autocrocus