Méthodologie de tests de programmes et introduction aux méthodes formelles