Conception et réalisation d'un accélérateur flottant 64 bits — Philippe Martinet