Logiques de programmes : quand la machine raisonne sur ses logiciels