V?rification D Un FPGA Dans Le Syst?me de Contr?le de Freinage d'Avion