Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY

Conditions générales et informations client

I. Conditions générales

§ 1 Dispositions de base

(1) Les conditions générales suivantes s’appliquent à tous les contrats que vous concluez avec nous en tant que fournisseur (AHA-BUCH GmbH) via les plateformes Internet AbeBooks et/ou ZVAB. Sauf accord contraire, l’inclusion de l’une de vos propres conditions générales que vous utilisez sera contestée

(2) Un consommateur au sens des règlements suivants est toute personne physique qui conclut une transaction juridique à des fins qui ne peuvent être attribuées principalement ni à son activité commerciale ni à son activité professionnelle indépendante. Un entrepreneur est toute personne physique ou morale ou une société de personnes ayant la capacité juridique qui, lors de la conclusion d’une transaction juridique, agit dans l’exercice de son activité professionnelle ou commerciale indépendante.

§ 2 Conclusion du contrat

(1) L’objet du contrat est la vente de marchandises.

(2) Si un article est répertorié par nous sur AbeBooks ou ZVAB, l’activation de la page d’offre sur AbeBooks ou ZVAB constitue l’offre ferme de conclure un contrat dans les conditions contenues dans la page de l’article.

(3) Le contrat est conclu via le système de panier d’achat en ligne comme suit:
Les marchandises destinées à l’achat sont stockées dans le « panier ». Via le bouton correspondant dans la barre de navigation, vous pouvez appeler le « panier » et y apporter des modifications à tout moment. Après avoir appelé la page « Commander » et entré les données personnelles ainsi que les conditions de paiement et d’expédition, toutes les données de commande seront à nouveau affichées sur la page d’aperçu de la commande. Avant d’envoyer la commande, vous avez la possibilité de vérifier à nouveau toutes les informations, de les modifier (également via la fonction « retour » du navigateur Internet) ou d’annuler l’achat. En soumettant la commande via le bouton « Acheter maintenant », vous déclarez l’acceptation de l’offre de manière juridiquement contraignante, par laquelle le contrat est conclu.

(4) Le traitement de la commande et la transmission de toutes les informations nécessaires à la conclusion du contrat sont partiellement automatisés par e-mail. Vous devez donc vous assurer que l’adresse e-mail que vous avez stockée chez nous est correcte, que la réception des e-mails est techniquement assurée et, en particulier, que les filtres anti-spam ne l’empêchent pas.

§ 3 Droit de réserve, réserve de propriété

(1) Vous ne pouvez exercer un droit de rétention que s’il s’agit de réclamations découlant de la même relation contractuelle.

(2) Les marchandises restent notre propriété jusqu’au paiement intégral du prix d’achat.

§ 4 Garantie

(1) Les droits de garantie légaux existent.

(2) Dans le cas de marchandises d’occasion, la période de garantie est d’un an à compter de la livraison de l’article, s’écartant de la réglementation légale. Le raccourcissement du délai ne s’applique pas :

• les dommages causés de manière fautive qui nous sont imputables par une atteinte à la vie, à l’intégrité physique ou à la santé et, dans le cas d’autres dommages causés intentionnellement ou par négligence grave;
• dans la mesure où nous avons dissimulé frauduleusement le défaut ou assumé une garantie pour la qualité de l’article.

(3) En tant que consommateur, il vous est demandé de vérifier l’article immédiatement après la livraison pour l’exhaustivité, les défauts évidents et les dommages de transport et de nous informer, ainsi que le transitaire, de toute réclamation dès que possible. Si vous ne vous y conformez pas, cela n’aura aucun effet sur vos demandes de garantie légales.

§ 5 Choix de la loi, lieu d’exécution, for

1. Le droit allemand s’applique. Dans le cas des consommateurs, ce choix de loi ne s’applique que dans la mesure où il ne retire pas la protection offerte par les dispositions impératives de la loi de l’État de résidence habituelle du consommateur (principe de faveur).

(2) Le lieu d’exécution de tous les services découlant des relations commerciales existantes avec nous ainsi que le lieu de juridiction est notre siège social, dans la mesure où vous n’êtes pas un consommateur, mais un commerçant, une personne morale de droit public ou un fonds spécial de droit public. Il en va de même si vous n’avez pas de for général en Allemagne ou dans l’UE ou si le domicile ou la résidence habituelle n’est pas connu au moment de l’introduction de l’action. Le droit de faire appel devant le tribunal d’un autre lieu de juridiction légal n’en est pas affecté.

(3) Les dispositions de la Convention des Nations Unies sur les contrats de vente internationale de marchandises ne s’appliquent expressément pas.

1. Identité du Vendeur

AHA-BUCH GmbH
Garlebsen 48
D-37574 Einbeck
Allemagne
Téléphone: 055639996039
Courriel : abebooks@aha-buch.de

Modes alternatifs de règlement des différends :
La Commission européenne fournit une plate-forme de règlement extrajudiciaire des litiges en ligne (plate-forme ODR), accessible sous https://ec.europa.eu/odr.

1. Informations sur la conclusion du contrat

Les étapes techniques pour la conclusion du contrat, la conclusion du contrat lui-même et les options de correction sont effectuées conformément aux dispositions « Conclusion du contrat » de nos conditions générales (partie I.).

1. Langue du contrat, stockage du texte du contrat

3.1. La langue du contrat est l’allemand.

3.2. Le texte complet du contrat ne sera pas stocké par nous. Avant l’envoi de la commande, les données du contrat peuvent être imprimées ou enregistrées électroniquement via la fonction d’impression du navigateur. Après réception de la commande par nous, les données de commande, les informations légalement prescrites pour les contrats à distance et les conditions générales vous seront envoyées à nouveau par e-mail.

1. Caractéristiques essentielles des produits ou des services

Les caractéristiques essentielles des biens et/ou services peuvent être trouvées dans l’offre respective.

1. Prix et conditions de paiement

5.1. Les prix indiqués dans les offres respectives ainsi que les frais d’expédition représentent les prix totaux. Ils comprennent tous les éléments de prix, y compris toutes les taxes applicables.

5.2. Les frais d’expédition encourus ne sont pas inclus dans le prix d’achat. Ils peuvent être appelés via un bouton correspondant sur notre site Web ou dans l’offre respective, sont affichés séparément au cours du processus de commande et sont à votre charge en plus, sauf si la livraison gratuite a été promise.

5.3. Si la livraison est effectuée dans des pays en dehors de l’Union européenne, nous pouvons encourir des coûts supplémentaires dont nous ne sommes pas responsables, tels que des droits de douane, des taxes ou des frais de transfert d’argent (frais de transfert ou de change des établissements de crédit), qui sont à votre charge. Tous les frais encourus pour le transfert d’argent seront également à votre charge dans les cas où la livraison est effectuée dans un État membre de l’UE, mais que le paiement a été initié en dehors de l’Union européenne.

5.4. Les modes de paiement à votre disposition sont indiqués sous un bouton correspondant sur notre site Web ou dans l’offre correspondante.

5.5. Sauf indication contraire pour les différents modes de paiement, les demandes de paiement du contrat conclu sont immédiatement exigibles.

1. Conditions de livraison

6.1. Les conditions de livraison, la date de livraison et, le cas échéant, les restrictions de livraison existantes peuvent être trouvées sous un bouton correspondant sur notre site Web ou dans l’offre respective.

Dans la mesure où aucun autre délai n’est spécifié dans l’offre respective ou sous le bouton correspondant, la livraison des marchandises aura lieu dans les 3 à 5 jours suivant la conclusion du contrat (dans le cas d’un paiement anticipé convenu, cependant, uniquement après le moment de votre instruction de paiement).

6.2. Dans la mesure où vous êtes un consommateur, il est réglementé par la loi que le risque de perte accidentelle et de détérioration accidentelle de l’article vendu lors de l’expédition ne vous est transféré qu’à la remise des marchandises, que l’envoi soit assuré ou non assuré. Cela ne s’applique pas si vous avez mandaté de manière indépendante une entreprise de transport non nommée par l’entrepreneur ou une personne autrement désignée pour effectuer l’expédition.

1. Responsabilité légale pour les défauts

La responsabilité pour les défauts est régie par la disposition « Garantie » de nos Conditions Générales (Partie I).

dernière mise à jour : 07/12/2017

Si vous êtes un consommateur, vous pouvez exercer votre droit de rétractation sur le contrat conformément à ce qui suit. Le mot « consommateur » désigne toute personne physique agissant à des fins qui n'entrent pas dans le cadre de son activité commerciale, artisanale ou professionnelle.

Informations concernant le droit de rétractation

Droit statutaire de rétractation

Vous avez le droit d'exercer votre droit de rétractation sur ce contrat dans les 14 jours sans donner de raison.

Le délai de rétractation expirera au bout de 14 jours à compter du jour où vous-même, ou un tiers autre que le transporteur et désigné par vous, prendrez physiquement possession de la dernière marchandise, du dernier lot ou de la dernière pièce.

Pour exercer votre droit de rétractation, remplissez électroniquement et envoyez une déclaration claire sur notre site Web, sous « Vos achats » dans « Votre compte ». Nous vous communiquerons sans délai un accusé de réception de cette rétractation sur un support durable (par exemple, par e-mail).

Pour respecter le délai de rétractation, il vous suffit d'envoyer votre message concernant l'exercice de votre droit de rétractation avant l'expiration du délai de rétractation.

Effets de la rétractation

Si vous exercez votre droit de rétractation sur ce contrat, nous vous rembourserons tous les paiements que vous avez effectués, y compris les frais de livraison (à l'exception des frais supplémentaires résultant du choix d'un mode de livraison autre que le type de livraison standard le moins cher que nous proposons).

Nous pouvons déduire du remboursement la perte de valeur de toute marchandise livrée, si la perte est le résultat d'une manipulation inutile de votre part.

Nous effectuerons le remboursement dans les meilleurs délais, et au plus tard 14 jours après le jour où nous aurons été informés de votre décision d'exercer votre droit de rétractation sur ce contrat.

Nous effectuerons le remboursement en utilisant le même moyen de paiement que celui que vous avez utilisé pour la transaction initiale, sauf si vous en avez expressément convenu autrement ; en tout état de cause, aucuns frais ne vous seront facturés à la suite d'un tel remboursement.

Nous pouvons suspendre le remboursement jusqu'à ce que nous ayons reçu les marchandises ou que vous ayez fourni la preuve que vous avez renvoyé les marchandises, en fonction de la première éventualité.

Vous devez renvoyer les marchandises ou les remettre à AHA-BUCH GmbH, Einbeck, Germany, sans retard injustifié et, en tout état de cause, au plus tard 14 jours à compter du jour où vous nous avez communiqué votre décision de rétractation du présent contrat. Le délai est respecté si vous renvoyez les marchandises avant l'expiration du délai de 14 jours. Vous devrez prendre en charge les frais directs du renvoi des marchandises. Vous n'êtes responsable que de toute diminution de valeur des marchandises résultant d'une manipulation autre que celle nécessaire pour établir la nature, les caractéristiques et le fonctionnement des marchandises.

Exceptions au droit de rétractation

Le droit de rétractation ne s'applique pas à ce qui suit :

1. Distribution de journaux, de revues ou de magazines, à l'exception des contrats d'abonnement ; et
2. Fourniture d'un contenu numérique qui n'est pas fourni sur un support matériel (par exemple, sur un CD ou un DVD) si vous avez accepté, lors de votre commande, que nous puissions commencer à le livrer et que vous ne puissiez pas exercer votre droit de rétractation une fois la livraison commencée.

Nous expédions votre commande après les avoir reçues
pour les articles disponibles au plus tard 24 heures,
pour les articles avec un approvisionnement de nuit au plus tard 48 heures.
Dans le cas où nous devons commander un article auprès de notre fournisseur, notre délai d’expédition dépend de la date de réception des articles, mais les articles seront expédiés le jour même.

Notre objectif est d’envoyer les articles commandés de la manière la plus rapide, mais aussi la plus efficace et la plus sécurisée à nos clients.

Politique de confidentialité

Sauf indication contraire ci-dessous, la fourniture de vos données personnelles n’est ni requise par la loi ou le contrat, ni nécessaire à la conclusion d’un contrat. Vous n’êtes pas obligé de fournir les données. Ne pas fournir cela n’aura aucune conséquence. Cela ne s’applique que si aucune autre information n’est fournie dans les opérations de traitement ultérieures. « Données personnelles » désigne toute information relative à une personne physique identifiée ou identifiable.

Collecte, traitement et utilisation des données personnelles pour les commandes Lors de la commande, nous collectons et utilisons vos données personnelles uniquement dans la mesure nécessaire à l’exécution et au traitement de votre commande et au traitement de vos demandes. La fourniture des données est nécessaire à la conclusion du contrat. Le défaut de fournir cette disposition signifie qu’aucun contrat ne peut être conclu. Le traitement est effectué sur la base de l’article 6, paragraphe 1, point b) du RGPD et est nécessaire à l’exécution d’un contrat avec vous. Vos données ne seront pas transmises à des tiers sans votre consentement exprès. Seuls nos partenaires de service, dont nous avons besoin pour traiter la relation contractuelle ou les prestataires de services que nous utilisons dans le cadre du traitement des commandes, en sont exclus. Outre les destinataires nommés dans les clauses respectives de la présente déclaration de protection des données, il s’agit, par exemple, des destinataires des catégories suivantes: prestataires de services d’expédition, prestataires de services de paiement, prestataires de services de gestion des marchandises, prestataires de services de traitement des commandes, hébergeurs Web, fournisseurs de services informatiques et marchands dropshipping. Dans tous les cas, nous respectons strictement les exigences légales. La portée de la transmission des données est limitée au minimum.

Durée de stockage
Après l’achèvement du contrat, les données seront d’abord stockées pendant la durée de la période de garantie, puis en tenant compte des délais de conservation légaux, en particulier fiscaux et commerciaux, puis supprimées après l’expiration de la période, sauf si vous avez consenti à un traitement et à une utilisation ultérieurs.

Droits de la personne concernée
Si les exigences légales sont remplies, vous disposez des droits suivants en vertu des articles 15 à 20 du RGPD : Droit à l’information, à la rectification, à l’effacement, à la limitation du traitement, à la portabilité des données.
En outre, conformément à l’article 21, paragraphe 1, du RGPD, vous avez le droit de vous opposer au traitement basé sur l’article 6, paragraphe 1, point f du RGPD et au traitement à des fins de marketing direct.

Contactez-nous sur demande. Les coordonnées se trouvent dans nos mentions légales.

Droit d’introduire une réclamation auprès de l’autorité de contrôle
Conformément à l’article 77 du RGPD, vous avez le droit de déposer une plainte auprès de l’autorité de contrôle si vous estimez que le traitement de vos données personnelles n’est pas légal.

dernière mise à jour : 25/04/2018