Preuve de l’antériorité d’une idée