3 juillet, nous fêtons les Thomas.